<html>
<head><meta charset="utf-8"><title>meeting 2019.09.24 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html">meeting 2019.09.24</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="176494931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176494931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176494931">(Sep 24 2019 at 19:01)</a>:</h4>
<p>hello friends from <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="176495023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495023">(Sep 24 2019 at 19:02)</a>:</h4>
<p>it's likely going to be an intimate meeting tonight :)</p>



<a name="176495068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495068">(Sep 24 2019 at 19:03)</a>:</h4>
<p>I know Matthew has been working on fixing the last real error from the compare-mode <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span> thanks a lot <span class="user-mention" data-user-id="116118">@Matthew Jasper</span></p>



<a name="176495138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495138">(Sep 24 2019 at 19:03)</a>:</h4>
<p>it's <a href="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view=#24-issuesissue-38591rs---output-from-Polonius-" target="_blank" title="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view=#24-issuesissue-38591rs---output-from-Polonius-">this</a> overflow during fact generation</p>



<a name="176495205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495205">(Sep 24 2019 at 19:04)</a>:</h4>
<p>I wasn't able <em>again</em> to read Albin's thesis this week sorry :(</p>



<a name="176495280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495280">(Sep 24 2019 at 19:05)</a>:</h4>
<p>for my update: I did open 4 PRs, 2 of which are minor</p>



<a name="176495306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495306">(Sep 24 2019 at 19:05)</a>:</h4>
<p>the other 2 related to docs and The Great Renaming</p>



<a name="176495359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495359">(Sep 24 2019 at 19:06)</a>:</h4>
<p>I saw csmoe was working on <a href="https://github.com/rust-lang/polonius/issues/111" target="_blank" title="https://github.com/rust-lang/polonius/issues/111">https://github.com/rust-lang/polonius/issues/111</a> but I'm not sure the vision on that issue was super clear enough yet ?</p>



<a name="176495424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495424">(Sep 24 2019 at 19:06)</a>:</h4>
<p>Hi everyone :)</p>



<a name="176495449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495449">(Sep 24 2019 at 19:06)</a>:</h4>
<p>their <a href="https://github.com/rust-lang/polonius/pull/130" target="_blank" title="https://github.com/rust-lang/polonius/pull/130">WIP PR</a> also has unfortunate timing with the incoming renaming conflicts</p>



<a name="176495454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495454">(Sep 24 2019 at 19:06)</a>:</h4>
<p>hey niko :)</p>



<a name="176495481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495481">(Sep 24 2019 at 19:07)</a>:</h4>
<blockquote>
<p>I saw csmoe was working on <a href="https://github.com/rust-lang/polonius/issues/111" target="_blank" title="https://github.com/rust-lang/polonius/issues/111">https://github.com/rust-lang/polonius/issues/111</a> but I'm not sure the vision on that issue was super clear enough yet ?</p>
</blockquote>
<p>I mean I think it was fairly clear, but it may well be that we wish to do a few other things first because of conflicts</p>



<a name="176495614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495614">(Sep 24 2019 at 19:08)</a>:</h4>
<p>ah ok so maybe the PR isn't what I expected from this issue, the changes on AllFacts and so on</p>



<a name="176495625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495625">(Sep 24 2019 at 19:08)</a>:</h4>
<p>My idea of rejiggering the inputs to be able to separate the steps of the computation is also in slight conflict, but I don't think that's a problem and if anything the changes in the PR would make that easier</p>



<a name="176495662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495662">(Sep 24 2019 at 19:09)</a>:</h4>
<p>well I'm not sure why some of the changes went from <code>&amp;Vec</code> to <code>Vec</code></p>



<a name="176495667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495667">(Sep 24 2019 at 19:09)</a>:</h4>
<p>I was trying to look at that earlier (and more soon)</p>



<a name="176495679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495679">(Sep 24 2019 at 19:09)</a>:</h4>
<p>I would expect just <code>Loan</code> to <code>T::Loan</code></p>



<a name="176495765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495765">(Sep 24 2019 at 19:10)</a>:</h4>
<p>a lot more clones, etc well it's WIP after all, so we'll see :) but maybe they're not sure how to tie it with the rest of the code I don't know</p>



<a name="176495806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495806">(Sep 24 2019 at 19:10)</a>:</h4>
<p>I've also been working on the equality-tracking prototype, and also some datafrog shenanigans</p>



<a name="176495851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495851">(Sep 24 2019 at 19:11)</a>:</h4>
<blockquote>
<p>a lot more clones, etc well it's WIP after all, so we'll see :) but maybe they're not sure how to tie it with the rest of the code I don't know</p>
</blockquote>
<p>yeah, I'm not sure about that, I left a few questions on the PR</p>



<a name="176495862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495862">(Sep 24 2019 at 19:11)</a>:</h4>
<p>fixed the problem in the flow-sensitive version, but is still very inefficient atm</p>



<a name="176495967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495967">(Sep 24 2019 at 19:12)</a>:</h4>
<p>had a couple small ephiphanies regarding datafrog relations etc, we'll see what comes of it</p>



<a name="176495980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176495980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176495980">(Sep 24 2019 at 19:12)</a>:</h4>
<p>awesome thanks niko</p>



<a name="176496052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496052">(Sep 24 2019 at 19:13)</a>:</h4>
<p>to put things in perspective, the static equality tracking is more efficient than Naive</p>



<a name="176496077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496077">(Sep 24 2019 at 19:13)</a>:</h4>
<p>with "interesting-ness filtering" static equality is about as efficient as filtered-Naive</p>



<a name="176496136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496136">(Sep 24 2019 at 19:14)</a>:</h4>
<p>flow sensitive equality rn (which could be incorrect) is worse than regular Naive</p>



<a name="176496171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496171">(Sep 24 2019 at 19:14)</a>:</h4>
<p>but still, there are 2 rustc tests failing when using the prototype so that was just a couple notes (and future work)</p>



<a name="176496215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496215">(Sep 24 2019 at 19:15)</a>:</h4>
<p>I haven't yet investigated those 2 failures, as I was fixing the flow sensitive one, and now both give the same 2 failures out of the tests</p>



<a name="176496286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496286">(Sep 24 2019 at 19:16)</a>:</h4>
<p>(that is, 2 <em>different</em> failures, excluding the currently known 2 failures and 2 OOMs)</p>



<a name="176496346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496346">(Sep 24 2019 at 19:17)</a>:</h4>
<p>if any of you feel like giving a cursory glance at the PRs it would be greatly appreciated :)</p>



<a name="176496431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496431">(Sep 24 2019 at 19:18)</a>:</h4>
<p>as for this week: as I mentioned earlier Matthew is working on the test PR</p>



<a name="176496485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496485">(Sep 24 2019 at 19:19)</a>:</h4>
<p>Honestly, I haven't whiteboarded the bug enough to understand the problem yet, and certainly not the solution</p>



<a name="176496500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496500">(Sep 24 2019 at 19:19)</a>:</h4>
<p>and I wanted to see how to reorganize the facts passing to avoid duplicating work in the Hybrid variant, and so on; in addition to investigating the 2 equality tracking variant failures</p>



<a name="176496515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496515">(Sep 24 2019 at 19:19)</a>:</h4>
<p>which bug <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> ?</p>



<a name="176496529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496529">(Sep 24 2019 at 19:19)</a>:</h4>
<p>The whole equality bug to begin with :)</p>



<a name="176496587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496587">(Sep 24 2019 at 19:20)</a>:</h4>
<p>ah, it's not a bug <em>per se</em> :)</p>



<a name="176496625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496625">(Sep 24 2019 at 19:20)</a>:</h4>
<p>say, different rules with different tradeoffs</p>



<a name="176496661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496661">(Sep 24 2019 at 19:21)</a>:</h4>
<p>in this case, some easy-ish (maybe probable) situations to get into, which we may be able to take care of</p>



<a name="176496671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496671">(Sep 24 2019 at 19:21)</a>:</h4>
<p>Ah</p>



<a name="176496739"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496739" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496739">(Sep 24 2019 at 19:22)</a>:</h4>
<p>sorry, had a phone call</p>



<a name="176496741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496741">(Sep 24 2019 at 19:22)</a>:</h4>
<p>so Polonius as-is has the <a href="https://github.com/lqd/borrow-check/blob/variant_prototype2/inputs/polonius-imprecision/polonius-imprecision.rs#L4-L22" target="_blank" title="https://github.com/lqd/borrow-check/blob/variant_prototype2/inputs/polonius-imprecision/polonius-imprecision.rs#L4-L22">polonius-imprecision/unnecssary-error</a> case</p>



<a name="176496764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496764">(Sep 24 2019 at 19:22)</a>:</h4>
<p>is there a PR with this work, <span class="user-mention" data-user-id="116113">@lqd</span>, or would I check out your branch?</p>



<a name="176496797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496797">(Sep 24 2019 at 19:23)</a>:</h4>
<p>static equality tracking (I don't know how to name it :p) has <a href="https://github.com/lqd/borrow-check/blob/variant_prototype2/inputs/polonius-imprecision/polonius-imprecision.rs#L43-L62" target="_blank" title="https://github.com/lqd/borrow-check/blob/variant_prototype2/inputs/polonius-imprecision/polonius-imprecision.rs#L43-L62">this imprecision</a></p>



<a name="176496800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496800">(Sep 24 2019 at 19:23)</a>:</h4>
<p>(also, I see your comments in the equality regions topic, I guess the answer is in there)</p>



<a name="176496825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496825">(Sep 24 2019 at 19:23)</a>:</h4>
<p>yes in that thread</p>



<a name="176496834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496834">(Sep 24 2019 at 19:23)</a>:</h4>
<p>but <a href="https://github.com/lqd/borrow-check/blob/variant_prototype2/" target="_blank" title="https://github.com/lqd/borrow-check/blob/variant_prototype2/">https://github.com/lqd/borrow-check/blob/variant_prototype2/</a> for easy access</p>



<a name="176496916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496916">(Sep 24 2019 at 19:24)</a>:</h4>
<p>flow sensitive seems promising as well, in that we're not aware of glaring imprecisions as of yet :)</p>



<a name="176496947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176496947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176496947">(Sep 24 2019 at 19:25)</a>:</h4>
<p>also interesting to keep in mind that the equality tracking could help alleviate the Location::All OOM we're seeing</p>



<a name="176497027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176497027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176497027">(Sep 24 2019 at 19:25)</a>:</h4>
<p>man, I need to schedule some dedicated polonius time per week :)</p>



<a name="176497031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176497031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176497031">(Sep 24 2019 at 19:25)</a>:</h4>
<p>it's so hard to stay on top of things :)</p>



<a name="176497044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176497044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176497044">(Sep 24 2019 at 19:25)</a>:</h4>
<p>:)</p>



<a name="176497100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176497100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176497100">(Sep 24 2019 at 19:26)</a>:</h4>
<p>anyway, good update, and it sounds like good progress!</p>



<a name="176497126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176497126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176497126">(Sep 24 2019 at 19:26)</a>:</h4>
<p>I've not done much, I'm afraid, but I hope to try to catch up a bit with some of these things this week</p>



<a name="176497152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176497152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176497152">(Sep 24 2019 at 19:26)</a>:</h4>
<p>I may have a couple of easy PRs including one for datafrog, maybe Frank has some time to review it (should be tiny, if I avoid the performance / specialized relations stuff)</p>



<a name="176497187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176497187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176497187">(Sep 24 2019 at 19:27)</a>:</h4>
<p>awesome, good to hear :)</p>



<a name="176497298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176497298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176497298">(Sep 24 2019 at 19:28)</a>:</h4>
<p>and if that is all we have, thanks a lot everyone <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="176497360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.09.24/near/176497360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E09.2E24.html#176497360">(Sep 24 2019 at 19:29)</a>:</h4>
<p>(I'll be around, and probably open a couple topics of notes in order to share &amp; get them out of my head</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>